package interfaces.managers;
import interfaces.ICliente;
import interfaces.IIncidencia;
import interfaces.ITecnico;

import java.util.List;

import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

public interface IBuscadorIncidencias {
	@Pre ({"codigoIncidencia >= 0 && codigoIncidencia <= Integer.MAX_VALUE #IllegalArgumentException"})
	public List<IIncidencia> buscaIncidencia(int codigoIncidencia);
	@Pre ({"i != null #NullPointerException"})
	public List<IIncidencia> buscaIncidencia(IIncidencia i);
	@Pre ({"p != null #NullPointerException"})
	public List<IIncidencia> buscaIncidencia(ITecnico p);
	@Pre ({"c != null #NullPointerException"})
	public List<IIncidencia> buscaIncidencia(ICliente c);
}
